function f() {
	if (cond1())
		if (cond2())
			return 23;
		else
			return 42;
	return 56;
}
